<HTML><HEAD><TITLE>Formal Verification Report</TITLE></HEAD>
<BODY>
<H1 align=center>WBI2C Verification Report</H1>
<H2 align=center>20240112</H2>
<TABLE border>
<TR><TH>Status</TH><TH>Component</TD><TH>Proof</TH><TH>Component description</TH></TR>
<TR></TR>
<TR><TD bgcolor=#ffffca>Out of date</TD><TD>axili2ccpu</TD><TD>_prf</TD><TD rowspan=2>I2C CPU, Controlled via AXI-Lite</TD></TR>
<TR><TD bgcolor=#ffffca>Out of date</TD><TD>axili2ccpu</TD><TD>_cvr</TD></TR>
<TR></TR>
<TR><TD bgcolor=#ffffca>Out of date</TD><TD>axisi2c</TD><TD>_cvr</TD><TD rowspan=4>I2C CPU, Internal stream based component</TD></TR>
<TR><TD bgcolor=#ffffca>Out of date</TD><TD>axisi2c</TD><TD>_prflp</TD></TR>
<TR><TD bgcolor=#ffffca>Out of date</TD><TD>axisi2c</TD><TD>_prfw</TD></TR>
<TR><TD bgcolor=#ffffca>Out of date</TD><TD>axisi2c</TD><TD>_prf</TD></TR>
<TR></TR>
<TR><TD bgcolor=#ffffca>Out of date</TD><TD>wbi2ccpu</TD><TD>_cvr</TD><TD rowspan=3>I2C CPU, Controlled via Wishbone</TD></TR>
<TR><TD bgcolor=#ffffca>Out of date</TD><TD>wbi2ccpu</TD><TD>_prf</TD></TR>
<TR><TD bgcolor=#caeec8>Pass</TD><TD>wbi2ccpu</TD><TD>_prfm</TD></TR>
</TABLE>
</BODY></HTML>
